λ-structures and s-structures: Translating the iteration strategies
نویسنده
چکیده
Continuing the work [Fuc08], I show that the translation functions developed previously map iterable λ-structures to iterable s-structures and vice versa. To this end, I analyze how the translation functions interact with the formation of extender ultrapowers and normal iterations. This analysis makes it possible to translate iterations, and, in a last step, iteration strategies, thus arriving at the result.
منابع مشابه
Optimal Design of Geometrically Nonlinear Structures Under a Stability Constraint
This paper suggests an optimization-based methodology for the design of minimum weight structures with kinematic nonlinear behavior. Attention is focused on three-dimensional reticulated structures idealized with beam elements under proportional static loadings. The algorithm used for optimization is based on a classical optimality criterion approach using an active-set strategy for extreme lim...
متن کاملThe Iteration Digraphs of Lambert Map Over the Local Ring $mathbb{Z}/p^kmathbb{Z}$ : Structures and Enumerations
Let $p$ be prime and $alpha:x mapsto xg^x$, the Discrete Lambert Map. For $kgeq 1,$ let $ V = {0, 1, 2, . . . , p^k-1}$. The iteration digraph is a directed graph with $V$ as the vertex set and there is a unique directed edge from $u$ to $alpha(u)$ for each $uin V.$ We denote this digraph by $G(g, p^{k}),$ where $gin (mathbb{Z}/p^kmathbb{Z})^*.$ In this piece of work, we investigate the struct...
متن کاملThe Effects of Cooperative Language Learning Strategies on Learning Active and Passive Structures among Iranian EFL Learners
This study aims at investigating the effects of cooperative language learning on learning active and passive structures among Iranian EFL students. The participants of the study were 60 high school students that were selected from third grade of Barikbin high school in Qazvin. All of the participants were male. Their level of proficiency was intermediate. Then the participants were divided into...
متن کاملSTRUCTURAL SYSTEM RELIABILITY-BASED OPTIMIZATION OF TRUSS STRUCTURES USING GENETIC ALGORITHM
Structural reliability theory allows structural engineers to take the random nature of structural parameters into account in the analysis and design of structures. The aim of this research is to develop a logical framework for system reliability analysis of truss structures and simultaneous size and geometry optimization of truss structures subjected to structural system reliability constraint....
متن کاملTOPOLOGY OPTIMIZATION OF STRUCTURES UNDER TRANSIENT LOADS
In this article, an efficient methodology is presented to optimize the topology of structural systems under transient loads. Equivalent static loads concept is used to deal with transient loads and to solve an alternate quasi-static optimization problem. The maximum strain energy of the structure under the transient load during the loading interval is used as objective function. The objective f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 162 شماره
صفحات -
تاریخ انتشار 2011